Model checkers - PDFSEARCH.IO - Document Search Engine

Model checkers
Results: 102

#	Item
71	Issue in Software Testing with Model Checkers Add to Reading List Source URL: csrc.nist.gov Language: English - Date: 2014-09-09 10:41:44 Software engineering Software testing Temporal logic SPIN model checker ALGOL 68 Computing Formal methods Model theory Model checkers Programming language theory Model checking
72	Access Control Policy Authori Tool Add to Reading List Source URL: csrc.nist.gov Language: English - Date: 2010-12-07 00:00:00 NuSMV Model checking Role-based access control XACML Access control Security Model checkers
73	Property Verification for Generic Access Control Models1 Vincent C. Hu1, D. Richard Kuhn1, Tao Xie2 1 National Institute of Standards and Technology, 2North Carolina State University [removed], [removed], xie@csc. Add to Reading List Source URL: csrc.nist.gov Language: English - Date: 2009-01-07 00:00:00 Computing Software Model checkers Model checking Logic in computer science NuSMV Software testing Formal verification Role-based access control Formal methods Access control Security
74	1 Abstract. Recent advances in parallel model checking for liveness properties achieve significant capacity increases over sequential model checkers. However, the capacity of parallel model checkers is in turn limited b Add to Reading List Source URL: people.cs.clemson.edu Language: English - Date: 2013-08-14 13:37:54 Formal methods Applied mathematics Model checking Animal communication Neuroethology Waggle dance Random walk SPIN model checker Linear temporal logic Automata theory Mathematics Models of computation
75	ACM 2007 Turing Award Edmund Clarke, Allen Emerson, and Joseph Sifakis Model Checking: Algorithmic Verification and Debugging ACM Turing Award Citation In 1981, Edmund M. Clarke and E. Allen Emerson, working in the USA, Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:30 Logic in computer science Temporal logic Model checkers Formal methods Model checking Formal verification Linear temporal logic Computation tree logic CTL* Theoretical computer science Mathematical logic Applied mathematics
76	✲ Towards Validated Real-Time Software✲ Valérie BERTIN†, Michel POIZE, Jacques PULOU Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:30 Models of computation Model checkers Esterel Automata theory Model checking SIGNAL Theoretical computer science Uppaal Model Checker Computing Hardware description languages Synchronous programming languages Software engineering
77	Precision Reuse for Efficient Regression Verification † Dirk Beyer 1 , Stefan Löwe 1 , Evgeny Novikov 2 , Andreas Stahlbauer 1 , and Philipp Wendler 1 1 Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2013-10-11 06:59:23 Formal methods Logic in computer science Model checkers Software testing Software verification Formal verification Model checking Verification and validation BLAST model checker Theoretical computer science Applied mathematics Mathematical software
78	McErlang– a tool for model checking Erlang programs in Erlang ˚ Fredlund Lars-Ake Facultad de Inform´atica, Universidad Polit´ecnica de Madrid Clara Benac Earle Departamento de Inform´atica, Universidad Carlos III Add to Reading List Source URL: www.erlang.se Language: English - Date: 2006-10-05 09:14:51 Software Ericsson Erlang Model checking Queueing theory Model checkers QuickCheck SPIN model checker Computing Statistics Network performance
79	Property Verification for Generic Access Control Models1 Vincent C. Hu1, D. Richard Kuhn1, Tao Xie2 1 National Institute of Standards and Technology, 2North Carolina State University [removed], [removed], xie@csc. Add to Reading List Source URL: csrc.nist.gov Language: English - Date: 2009-05-06 01:00:00 Computing Software Model checkers Model checking Logic in computer science NuSMV Software testing Formal verification Role-based access control Formal methods Access control Security
80	TSE[removed]The Design of a Multi-Core Extension of the SPIN Model Checker Add to Reading List Source URL: spinroot.com Language: English - Date: 2008-06-30 15:34:26 Computer architecture Central processing unit Model checkers Model checking Multi-core processor CPU design SPIN model checker Concurrent data structure Formal verification Computing Parallel computing Electronic engineering

UPDATE